supposedly being replaced by Shanahan.